Etude des symétries dans les modèles finis
نویسندگان
چکیده
Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been instanciated. We study in this paper a more general notion of symmetry than LNH and provide some exploitations which we combine with it to optimize the symmetry use and increase the model search efficiency. The method SEM with and without symmetry is experimented on several interesting mathematic problems to show the advantage of symmetry. MOTS-CLÉS : Modèles Finis, Symétries
منابع مشابه
Etude comparative des dosages colorimétriques du phosphore; recherche d'une methode de haute sensibilité applicable au dosage du phosphore organique dans les spots après chromatographie
متن کامل
Symétrie des champs bidimensionnels et générateurs stationnaires
Ce travail trouve son origine dans les études de l’auto-similarité par des déformation stationnarisantes et porte sur des extensions aux champs bidimensionnels. Les symétries de champs 2D, images ou représentations à 2 paramètres d’un signal, sont envisagées, en particulier celle liées à l’invariance d’échelle. Nous donnons des résultats préliminaires portant sur les déformations stationnarisan...
متن کاملEtude des caractéristiques projectives des objets spatiaux et de leurs relations
RÉSUMÉ. L’espace projectif a été peu exploré dans la caractérisation des objets spatiaux et de leurs relations. Ce travail présente les résultats d’une démarche « projective » concernant la forme des objets spatiaux et les relations binaires et ternaires entre objets. En offrant un cadre mathématique formel à une description qualitative de la forme des objets ainsi qu’à des relations telles que...
متن کاملEtude comparée des performances de SVM multi-classes en prédiction de la structure secondaire des protéines
Résumé. Les SVM bi-classes, introduites en bioinformatique à la fin des années 90, font aujourd’hui référence pour de nombreux problèmes de traitement de séquences biologiques. Les SVM multi-classes, de conception plus récente, sont progressivement appliquées à ces problèmes, singulièrement en biologie structurale prédictive. Dans cet article, nous proposons une étude comparée des performances ...
متن کاملChamps de Pickard tridimensionnels
L’objectif de cette note est d’étendre aux réseaux cartésiens tridimensionnels (3D) une partie des résultats établis dans [1] pour les champs de Markov stationnaires sur un réseau bidimensionnel (2D). Plus précisément, il s’agit de caractériser les champs de Markov stationnaires 3D d’ordre trois (MRF3 dans la terminologie de [1]) à partir de leur probabilité marginale sur le cube {1, 2} (Sectio...
متن کامل